Research in Computing Science, Vol. 18, pp. 93-104, 2006.
PDF: On Types, Intension and Compositionality PDF: On Types, Intension and Compositionality